void otro()
{
	return;
}